well-founded function

整序函数